html {
	height: 100%;
}

body {
	background-color: #eee;
	min-height: 100vh;
	margin: 0;

	display: flex;
	flex-direction: column;

	font-family: sans-serif;
}

a {
	color: steelblue;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

a .caret {
	font-size: 75%;
}

#loading {
	display: flex;
	flex: 1;
	flex-direction: column;
	align-items: center;
	justify-content: center;
}

footer {
	flex: 0;
	padding: 5px;
}

#log {
	box-sizing: content-box;
	height: 17em;

	transition: height .5s;

	display: flex;
	flex-direction: column;
}

#log.hidden {
	height: 1em;
}

#log.hidden #log-content {
	overflow: hidden;
}

#log a {
	font-size: 80%;
}

#log pre {
	flex: 1;
	width: 100%;

	margin: 0;
	margin-top: 5px;

	color: gray;
	overflow-y: scroll;
}